📚 Proof Pedagogy

Teaching Formal Methods, Interactive Learning, Mathematical Education, Verification Training, Beginner Proofs

Feeds to Scour
SubscribedAll
Scoured 9589 posts in 1.51 s
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
🔬Lean
Preview
Report Post
Playful Math Carnival 183
mathhombre.blogspot.com·18h·
Discuss: mathhombre.blogspot.com
📐Mathematical Art
Preview
Report Post
Pythonic Best Practices & Idioms
dev.to·13h·
Discuss: DEV
📝Concrete Syntax
Preview
Report Post
Stanford CS 224N | Natural Language Processing with Deep Learning
web.stanford.edu·1d
🧠Machine Learning
Preview
Report Post
unintentional type theory in nLab
ncatlab.org·3d·
Discuss: Hacker News
🔤Type Theory
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
⚔️Lean Tactics
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🏛️Agda
Preview
Report Post
Large Language Models Approach Expert Pedagogical Quality in Math Tutoring but Differ in Instructional and Linguistic Profiles
arxiv.org·2d
🤖Grammar Induction
Preview
Report Post
Understanding Vibe Proving | Towards Data Science
towardsdatascience.com·5d
🎯Proof Tactics
Preview
Report Post
The Transformer Architecture: A Deep Dive into How LLMs Actually Work
dev.to·52m·
Discuss: DEV
📝Text Parsing
Preview
Report Post
Abstraction use in education, transition sentences<!-- -->
lukes-blog.vercel.app·2d·
Discuss: Hacker News
📝Concrete Syntax
Preview
Report Post
Tanya Khovanova's Math Blog
blog.tanyakhovanova.com·2d
📐Mathematical Art
Preview
Report Post
Learning Python Programming • Fabrizio Romano & Naomi Ceder
youtube.com·1d
λLambda Formalization
Preview
Report Post
Validating AI output with consistency checks & formal proofs
johndcook.com·3d·
Discuss: Hacker News, Hacker News
👑Isabelle
Preview
Report Post
Issue 504
haskellweekly.news·2d
🔗Functional Compilers
Preview
Report Post
10 Essential Education ChatGPT Prompts for Best Studying Practices
tools.eq4c.com·3d·
Discuss: Hacker News
🔗Constraint Handling
Preview
Report Post
PhD Thesis An INFORMATION THEORETIC APPROACH TO THE EXPRESSIVENESS OF PROGRAMMING LANGUAGES by Joseph Ray Davidson July 2015
macs.hw.ac.uk·3d
💻Programming languages
Preview
Report Post
Test, Don't (Just) Verify
alperenkeles.com·4d·
Discuss: Hacker News, r/programming
🎯Performance Proofs
Preview
Report Post
Lie-to-Children
en.wikipedia.org·4d·
Discuss: Hacker News
⚙️Proof Engineering
Preview
Report Post
November’s Lectures, 2025
gilkalai.wordpress.com·6d
🧮Theoretical Computer Science
Preview
Report Post